Class index Class tree View Translator Encyclopaedia

ends with

Definition

x ends with y if and only if x has part y and the time point at which x ends is equivalent to the time point at which y ends. Formally: α(y) > α(x) ∧ ω(y) = ω(x), where α is a function that maps a process to a start point, and ω is a function that maps a process to an end point.

Reference

  1. OBO Foundry 2024 Relation Ontology. Open Biological and Biomedical Ontology Foundry. [2025-2-7] obofoundry.org
Creator: Michael Rubinigg
Relationships
ends with

subclass of

temporally related to

has subclass

n/a
Properties

Label

ends with

EUPH Code (UID)

[2307]

EUPH IRI

https://app.pollinatorhub.eu/vocabulary/classes/2307

Descriptor

n/a

Created

2023-01-23

Updated

2026-01-23
Contributors

Class

Author: Michael Rubinigg

Definition

Author: Michael Rubinigg

Translation

Authors: Michael Rubinigg

Class translations

Filters

Columns

Language Expression Contributed By Status
English
ends with

Phrase

Michael Rubinigg
Approved